A Graph Query Language for EMF Models
نویسندگان
چکیده
While model queries are important components in modeldriven tool chains, they are still frequently implemented using traditional programming languages, despite the availability of model query languages due to performance and expressiveness issues. In the current paper, we propose EMF-IncQuery as a novel, graph-based query language for EMF models by adapting the query language of the Viatra2 model transformation framework to inherit its concise, declarative nature, but to properly tailor the new query language to the modeling specificities of EMF. The EMF-IncQuery language includes (i) structural restrictions for queries imposed by EMF models, (ii) syntactic sugar and notational shorthand in queries, (iii) true semantic extensions which introduce new query features, and (iv) a constraint-based static type checking method to detect violations of EMF-specific type inference rules.
منابع مشابه
Derived Features for EMF by Integrating Advanced Model Queries
When designing complex domain-specific languages, metamodels are frequently enriched with derived features that correspond to attribute values or references (edges) representing computed information in the model. In the popular Eclipse Modeling Framework, these are typically implemented as imperative Java code. In the paper, we propose to integrate the EMF-IncQuery model query framework to the ...
متن کاملTranslating OCL to Graph Patterns
Model-driven tools use model queries for many purposes, including validation of well-formedness rules and speci cation of derived features. The majority of declarative model query corpus available in industry appears to use the OCL language. Graph pattern based queries, however, would have a number of advantages due to their more abstract speci cation, such as performance improvements through a...
متن کاملGraph Query by Example
Model-driven tools use model queries for many purposes, including validation of well-formedness rules, speci cation of derived features, and directing rule-based model transformation. Query languages such as graph patterns may facilitate capturing complex structural relationships between model elements. Specifying such queries, however, may prove di cult for engineers familiar with the concrete...
متن کاملIncremental Model Queries over EMF Models
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily utilize model queries in various activities, including model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant impact on th...
متن کاملMovie Database Case: An EMF-IncQuery Solution
Automated model transformations are frequently integrated to modeling environments, requiring both high performance and a concise programming interface to support software engineers. The objective of the EMF-INCQUERY [2] framework is to provide a declarative way to define queries over EMF models. EMF-INCQUERY extended the pattern language of VIATRA with new features (including transitive closur...
متن کامل